Algebraic Identity: (a b)(a + b) = a^2 b^2